ideal generated by a subset of a ring